翻訳と辞書 Words near each other ・ Cantor's theorem ・ Cantor, New Brunswick ・ Cantor, Stoneburner, Ford, Grana & Buckner ・ Cantor-teacher Ruzsics ・ Cantora 1 ・ Cantora Records ・ Cantorchilus ・ Cantore al liuto ・ Cantores minores ・ Cantoria ・ Cantoria violacea ・ Cantorion Colin Jones ・ Cantoris ・ Cantors Assembly ・ Cantoría Hong Kong ・ Cantor–Dedekind axiom ・ Cantor–Zassenhaus algorithm ・ Cantos Aztecas ・ Cantos de Amor ・ Cantown, Casey County, Kentucky ・ Cantrainea ・ Cantrainea globuloides ・ Cantrainea indica ・ Cantrainea inexpectata ・ Cantrainea jamsteci ・ Cantrainea macleani ・ Cantrainea nuda ・ Cantrainea panamensis ・ Cantrainea peloritana ・ Cantrainea philipiana Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Cantor–Dedekind axiom ： ウィキペディア英語版 Cantor–Dedekind axiom In mathematical logic, the phrase Cantor–Dedekind axiom has been used to describe the thesis that the real numbers are order-isomorphic to the linear continuum of geometry. In other words, the axiom states that there is a one to one correspondence between real numbers and points on a line. This axiom is the cornerstone of analytic geometry. The Cartesian coordinate system developed by René Descartes explicitly assumes this axiom by blending the distinct concepts of real number system with the geometric line or plane into a conceptual metaphor. This is sometimes referred to as the ''real number line'' blend: A consequence of this axiom is that Alfred Tarski's proof of the decidability of the ordered real field could be seen as an algorithm to solve any problem in Euclidean geometry. ==Notes== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Cantor–Dedekind axiom」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.